// 这个文件提供了跨平台的URL更新功能
// 在Web平台使用dart:html更新浏览器URL
// 在非Web平台提供空实现

// 使用条件导入，只在Web平台导入dart:html
import 'url_updater_web.dart' if (dart.library.io) 'url_updater_non_web.dart';

/// URL更新器接口
abstract class UrlUpdaterBase {
  void updateUrl(String url);
}

/// URL更新器工厂类 - 提供平台无关的接口
class UrlUpdater {
  // 通过条件导入获取实际实现
  static final UrlUpdaterBase _implementation = getUrlUpdater();
  
  /// 更新URL但不触发导航
  static void updateUrl(String url) {
    _implementation.updateUrl(url);
  }
} 